MENU_143.txt
Menu ID: 143
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Headings'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_142.txt
Menu ID: 142
ProcID: 0
Enabled flags: 0xFFFFFFEF
Title: 'Status Reports'
Items: (zero-terminated list)
  0:
    Name: 'On'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x12
    Style: 0x00
  1:
    Name: 'Off'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Step'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: 'Detailed'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x12
    Style: 0x00
  5:
    Name: 'Basic'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_141.txt
Menu ID: 141
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Optimization'
Items: (zero-terminated list)
  0:
    Name: 'Strong'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x12
    Style: 0x00
  1:
    Name: 'Weak'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Off'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_140.txt
Menu ID: 135
ProcID: 11
0x23B4 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'TableIFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_139.txt
Menu ID: 135
ProcID: 11
0x23B4 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'TableFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_138.txt
Menu ID: 135
ProcID: 11
0x23B4 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'AFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_137.txt
Menu ID: 135
ProcID: 11
0x23B4 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'SInfoFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_136.txt
Menu ID: 135
ProcID: 11
0x23B8 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'TInfoFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_135.txt
Menu ID: 135
ProcID: 11
0x23B8 (type = zero fill in template)
Enabled flags: 0xFFFFFFFF
Title: 'TreeFontSize'
Items: (zero-terminated list)
  0:
    Name: '9'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '10'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: '12'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: '14'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '18'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: '24'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  6:
    Name: '36'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '48'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: '60'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '72'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_134.txt
Menu ID: 134
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Translation'
Items: (zero-terminated list)
  0:
    Name: 'Conjunctions (And)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: 'Disjunctions (Or)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Conditionals (If/Then)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: 'Biconditionals (If and Only If)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  4:
    Name: 'Universals (All, Every)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: 'Existentials (Some, There is)'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_133.txt
Menu ID: 133
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Info'
Items: (zero-terminated list)
  0:
    Name: 'Symbol Key'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: 'Macro Key'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Tree Windows'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  3:
    Name: 'Translation'
    Icon number: 0
    Key equivalent: 0x1B
    Mark character: 0x86
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_132.txt
Menu ID: 132
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Windows'
Items: (zero-terminated list)

Note: template did not parse all data in resource; remaining data: 00

MENU_131.txt
Menu ID: 131
ProcID: 0
Enabled flags: 0xFFFFFFFB
Title: 'Options'
Items: (zero-terminated list)
  0:
    Name: 'Optimization'
    Icon number: 0
    Key equivalent: 0x1B
    Mark character: 0x8D
    Style: 0x00
  1:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Status Reports'
    Icon number: 0
    Key equivalent: 0x1B
    Mark character: 0x8E
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_130.txt
Menu ID: 130
ProcID: 0
Enabled flags: 0xFFFFFFFF
Title: 'Edit'
Items: (zero-terminated list)
  0:
    Name: 'Cut'
    Icon number: 0
    Key equivalent: 'X' (0x58)
    Mark character: 0x0
    Style: 0x00
  1:
    Name: 'Copy'
    Icon number: 0
    Key equivalent: 'C' (0x43)
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Paste'
    Icon number: 0
    Key equivalent: 'V' (0x56)
    Mark character: 0x0
    Style: 0x00
  3:
    Name: 'Clear'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_129.txt
Menu ID: 129
ProcID: 0
Enabled flags: 0xFFFFEADF
Title: 'File'
Items: (zero-terminated list)
  0:
    Name: 'New...'
    Icon number: 0
    Key equivalent: 'N' (0x4E)
    Mark character: 0x0
    Style: 0x00
  1:
    Name: 'Open...'
    Icon number: 0
    Key equivalent: 'O' (0x4F)
    Mark character: 0x0
    Style: 0x00
  2:
    Name: 'Close'
    Icon number: 0
    Key equivalent: 'W' (0x57)
    Mark character: 0x0
    Style: 0x00
  3:
    Name: 'Save As...'
    Icon number: 0
    Key equivalent: 'S' (0x53)
    Mark character: 0x0
    Style: 0x00
  4:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  5:
    Name: 'Page Setup...'
    Icon number: 0
    Key equivalent: 'U' (0x55)
    Mark character: 0x0
    Style: 0x00
  6:
    Name: 'Print...'
    Icon number: 0
    Key equivalent: 'P' (0x50)
    Mark character: 0x0
    Style: 0x00
  7:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  8:
    Name: 'Preferences'
    Icon number: 0
    Key equivalent: 'R' (0x52)
    Mark character: 0x0
    Style: 0x00
  9:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  10:
    Name: 'Quit'
    Icon number: 0
    Key equivalent: 'Q' (0x51)
    Mark character: 0x0
    Style: 0x00
  11:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  12:
    Name: 'Enter Registration Code...'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00

MENU_128.txt
Menu ID: 128
ProcID: 0
Enabled flags: 0xFFFFFFFB
Title: ''
Items: (zero-terminated list)
  0:
    Name: 'About Bertrand...'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00
  1:
    Name: '-'
    Icon number: 0
    Key equivalent: 0x0
    Mark character: 0x0
    Style: 0x00

Note: template did not parse all data in resource; remaining data: 00